Merge branch 'file-filter2' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 5 Jul 2020 20:32:05 +0000 (20:32 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 5 Jul 2020 20:32:05 +0000 (20:32 +0000)
Make GtkFileFilter a GtkFilter

See merge request GNOME/gtk!2190


Trivial merge